F. Montagna, "On the algebraization of a Feferman’s predicate"